AI资讯新闻榜单内容搜索-Axiom Math

关键词: AI新闻,AI数学,人工智能,Axiom

硅谷独角兽Axiom Math宣布其6人团队在约两周的秘密实验中，借助AI驱动的搜索、计算与Lean形式化验证，将有界素数间隔上界从246进一步推进到212，打破了保持十余年的纪录。

关键词: AI新闻,Axiom Math,AI数学,AxiomProver

新智元报道 人类证出来的最难素数定理，AI刚从头验了一遍。 结论是：证明成立，逻辑无误。 8月17日，由一位25岁广州女孩创立的AI公司Axiom Math宣布，自家系统AxiomProver完成了「

关键词: AI新闻,洪乐潼,Axiom Math,人工智能,AI数学

初创公司Axiom Math宣布，他们从2026年2月开始提交的8篇论文，到5月28日有5篇已经通过同行评审，登上学术期刊。创始人洪乐潼，2001年出生于广州，本科MIT三年拿下数学与物理双学位，还拿过北美数学本科生的最高荣誉罗德奖学金和摩根奖。

关键词: AI新闻,Meta AI,AI数学家,Axiom Math

一次咖啡馆中的谈话，诞生了一家估值3亿美元的创业公司！2024年，仍为斯坦福大学博士生的Carina Hong与前Meta的AI研究员Shubho Sengupta有过一次数小时的交谈。在那次交谈中二人探讨了如何用AI来解决数学领域的难题。